axiomatically defined

Translations
défini de manière axiomatique